منابع مشابه
Maximum Cuts in Extended Natural Deduction
We consider a standard system of sequents and a system of extended natural deduction (which is a modification of natural deduction) for intuitionistic predicate logic and connect the special cuts, maximum cuts, from sequent derivations and maximum segments from derivations of extended natural deduction. We show that the image of a sequent derivation without maximum cuts is a derivation without ...
متن کاملThe Normalization Theorem for Extended Natural Deduction
The normalization theorem for the system of extended natural deduction will be proved as a consequence of the cut-elimination theorem, by using the connections between the system of extended natural deduction and a standard system of sequents.
متن کاملComputing Maximum Mean Cuts
Most primal minimum cost network flow (MCNF) algorithms can be seen as variants on cancelling negative augmenting cycles. The analogous view of dual MCNF algorithms is that they cancel positive augmenting cuts. In a companion paper we show that if a dual algorithm chooses to cancel cuts which have the greatest rate of increase in dual objective value per arc, which are called maximum mean cuts,...
متن کاملMaximum Segments and Cuts
In the papers [1, 2, 4–6, 8] the similarities and differences between systems of sequents and systems of natural deduction for some fragments of intuitionistic logic were presented. The main goal of almost all of these papers was to study the connection between cut-free derivations and normal derivations. It is a well-known property that the natural deduction image of a cut-free derivation is a...
متن کاملVariable declarations in natural deduction
We propose the use of variable declarations in natural deduction. A variable declaration is a line in a derivation that introduces a new variable into the derivation. Semantically, it can be regarded as declaring that the variable denotes an element of the universe of discourse. Undeclared variables, in contrast, do not denote anything, and may not occur free in any formula in the derivation. A...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2010
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim1001059b